Nuprl Definition : s-state
0,22
postcript
pdf
s-state(
ds
) ==
x
:Id
ds
(
x
)?Top
latex
clarification:
s-state(
ds
) ==
x
:Id
fpf-cap(
ds
;IdDeq;
x
;Top)
latex
Definitions
Top
,
IdDeq
,
f
(
x
)?
z
,
Id
origin
ds(x)?Top
fpf-cap(ds;IdDeq;x;Top) ds(x)?Top
fpf-cap(ds;IdDeq;x;Top)